1. A Logic Book: Fundamentals of Reasoning
پدیدآورنده : Johnson, Robert M
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
BC
71
.
J6
L6
1999
2. A logic book : fundamentals of reasoning
پدیدآورنده : Johnson, Robert M.
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Logic
رده :
BC
71
.
J48
2007
3. A systems analysis of the logic of research and information processes: reasoning patterns...
پدیدآورنده : /Werner Kunz
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع :
4. A systems analysis of the logic of research and information processes: reasoning patterns in organic chemistry
پدیدآورنده : Kunz, Werner, 2291-
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Chemistry, Organic- Research,، Research
رده :
QD
256
.
K9
5. Automating business modelling a guide to using logic to represent informal methods and support reasoning
پدیدآورنده : Chen-Burger, Yun-Heh., Yun-Heh Chen-Burger and Dave Robertson
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Industrial management- Computer simulation,، Industrial management- Mathematical models,، Business- Computer simulation,، Business- Mathematical models
رده :
HD
30
.
2
.
C473
2005
6. BASIC LOGIC; The Fundamental Principles of Formal Deductive Reasoning
پدیدآورنده : Mc Call, Raymond J
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
BC
108
.
M33
B3
1952
7. Basic logic : the fundamental principles of formal deductive reasoning
پدیدآورنده : McCall, Raymond Joseph, 3191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
BC
108
.
M22B2
1952
8. Basic logic; the fundamental principles of formal deductive reasoning
پدیدآورنده : / J. McCall Roymond
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
9. Basic logic;the fundamental principles of formal deductive reasoning.
پدیدآورنده : Raymond J. McCall
موضوع : Logic.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Boolean reasoning : the logic of Boolean equations
پدیدآورنده : Brown, Frank Markha
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algebra, Boolean
رده :
QA
10
.
3
.
B76
1990
11. Clausal form logic : an introduction to the logic of computer reasoning
پدیدآورنده : Richards, Tom.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
12. Conceptual graphs and fuzzy logic : a fusion for representing and reasoning with linguistic information
پدیدآورنده : Tru Hoang Cao
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Fuzzy graphs,، Conceptual structures )Information theory(,، Fuzzy logic,، Logic programming,، Computational intelligence
رده :
QA
166
.
175
.
C37C6
13. Inductive reasoning : a study of Tarka and its role in Indian logic
پدیدآورنده : By Sitansusekhar Bagchi
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Reasoning,Logic,Induction (Logic)
14. Knowledge representation and reasoning under uncertainty : logic at work
پدیدآورنده : Michael Masuch, Laszlo Polos, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Knowledge representation )Information theory(,، Reasoning,، Uncertainty )Information theory(
رده :
QA
76
.
L28
Vol
.
808
15. LOGIC, RHETORIC, AND LEGAL REASONING IN THE QURAN
پدیدآورنده : / Rosalind Ward Gwynne
کتابخانه: Library of Dar Al-Hadith Scientific Cultular Institue (Qom)
موضوع :
رده :
BP65
/G8
,
L6
16. LOGIC: The Art of Defining and Reasoning
پدیدآورنده : Oesterle, John A.
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
BC
108
.
O48
L6
1963
17. Logic, Language and Reasoning
پدیدآورنده : edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
18. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
پدیدآورنده : / Marcello Balduccini, Tran Cao Son
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
19. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
پدیدآورنده : / Jack Minker (auth.), Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
20. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده : \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
